Search results for " 46T20"

showing 2 items of 2 documents

Universal differentiability sets and maximal directional derivatives in Carnot groups

2019

We show that every Carnot group G of step 2 admits a Hausdorff dimension one `universal differentiability set' N such that every real-valued Lipschitz map on G is Pansu differentiable at some point of N. This relies on the fact that existence of a maximal directional derivative of f at a point x implies Pansu differentiability at the same point x. We show that such an implication holds in Carnot groups of step 2 but fails in the Engel group which has step 3.

Pure mathematicsCarnot groupGeneral MathematicsDirectional derivative01 natural sciencesdifferentiaaligeometriasymbols.namesake0103 physical sciencesFOS: MathematicsCarnot group; Directional derivative; Lipschitz map; Pansu differentiable; Universal differentiability set; Mathematics (all); Applied MathematicsMathematics (all)Point (geometry)Differentiable function0101 mathematicsUniversal differentiability setEngel groupMathematics43A80 46G05 46T20 49J52 49Q15 53C17Directional derivativeuniversal differentiability setApplied Mathematicsta111010102 general mathematicsCarnot group16. Peace & justiceLipschitz continuityPansu differentiableFunctional Analysis (math.FA)Mathematics - Functional AnalysisHausdorff dimensionsymbols010307 mathematical physicsLipschitz mapfunktionaalianalyysiCarnot cycledirectional derivative
researchProduct

Smooth surjections and surjective restrictions

2017

Given a surjective mapping $f : E \to F$ between Banach spaces, we investigate the existence of a subspace $G$ of $E$, with the same density character as $F$, such that the restriction of $f$ to $G$ remains surjective. We obtain a positive answer whenever $f$ is continuous and uniformly open. In the smooth case, we deduce a positive answer when $f$ is a $C^1$-smooth surjection whose set of critical values is countable. Finally we show that, when $f$ takes values in the Euclidean space $\mathbb R^n$, in order to obtain this result it is not sufficient to assume that the set of critical values of $f$ has zero-measure.

TopologíaPure mathematicsmetric spaces46B80 46T20General Mathematicssmooth surjective mappingBanach spacesurjective restrictionnonlinear quotient01 natural sciencesfunctional analysisSurjective functionuniformly open mapMathematics - Metric GeometryFOS: MathematicsMathematics (all)Order (group theory)Countable set0101 mathematicsAnálisis funcional y teoría de operadoresDensity character; Nonlinear quotient; Smooth surjective mapping; Surjective restriction; Uniformly open map; Mathematics (all)MathematicsEuclidean spaceta111010102 general mathematicsMetric Geometry (math.MG)16. Peace & justicemetriset avaruudetFunctional Analysis (math.FA)Mathematics - Functional Analysis010101 applied mathematicsCharacter (mathematics)density characterfunktionaalianalyysiBijection injection and surjectionSubspace topology
researchProduct